Buy Used and New Thomas A. Henzinger Books

Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings: 2211 (Lecture Notes in Computer Science)

by Thomas A. Henzinger,Christoph M. Kirsch

ISBN 13: 9783540426738

Format: Paperback (488 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Hybrid Systems III: Verification and Control: 1066 (Lecture Notes in Computer Science)

by Eduardo D. Sontag,Thomas A. Henzinger,Rajeev Alur

ISBN 13: 9783540611554

Format: Paperback (636 pages)
Publisher: Springer
Published: 24 Apr 1996

Save for later

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98, Berkeley, California, USA, April 13 - 15, 1998, Proceedings: 1386 (Lecture Notes in Computer Science)

by Shankar Sastry,Thomas A. Henzinger

ISBN 13: 9783540643586

Format: Paperback (436 pages)
Publisher: Springer
Published: 25 Mar 1998

Save for later

Handbook of Model Checking

by Edmund M. Clarke,Thomas A. Henzinger,Helmut Veith,Roderick Bloem

ISBN 13: 9783319105741

Format: Hardcover (1260 pages)
Publisher: Springer
Published: 28 May 2016

Save for later

Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings: 8130 (Lecture Notes in Computer Science)

by Ashutosh Gupta,Thomas A. Henzinger

ISBN 13: 9783642407079

Format: Paperback (304 pages)
Publisher: Springer
Published: 09 Sep 2013

Save for later

Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, ... 7721 (Lecture Notes in Computer Science)

by Antonin Kucera,Thomas A. Henzinger,Jaroslav Nešetril,Tomas Vojnar,David Antos

ISBN 13: 9783642360442

Format: Paperback (228 pages)
Publisher: Springer
Published: 09 Jan 2013

Save for later